Prove Arzelà–Ascoli theorem step by step